منابع مشابه
TIK Report 136 The Formal Definition of Anlauff’s eXtensible Abstract State Machines
eXtensible Abstract State Machines (XASM) [1, 4, 2, 3] has been designed and implemented by Anlauff as formal development tool for the Montages project. Unfortunately a formal semantics of XASM has not been given up to now. We streamline Anlauff’s original design and present a denotational semantics, complementing the existing informal description. In fact we found that XASM implement a semanti...
متن کاملOp-brai140307 136..148
The pathophysiology of post-stroke fatigue is poorly understood although it is thought to be a consequence of central nervous system pathophysiology. In this study we investigate the relationship between corticomotor excitability and self-reported nonexercise related fatigue in chronic stroke population. Seventy first-time non-depressed stroke survivors (60.36 12.4 years, 20 females, 56.81 63 m...
متن کامل132-136 Sly
likely than nonusers to engage in risky sexual behavior and that they are less likely than nonusers to rely on condoms. In some studies, condom use has been treated as one component of a sexual-risk index, which is then related to substance use. In other research, condom use has been treated as a separate independent variable, which is then related to substance use directly. In this article, we...
متن کاملS0020818316000424jra 109..136
Why do some actors in international politics display remarkable persistence in wartime, while others “cut and run” at the first sign of trouble? I offer a behavioral theory of resolve, suggesting that variation in time and risk preferences can help explain why some actors display more resolve than others. I test the theory experimentally in the context of public opinion about military intervent...
متن کامل136-139 NEUHAUSER.indd
Sorosphaera viticola is a soil-borne, endophytic parasite of grapevine. It is classifi ed within the plasmodiophorids, an enigmatic group of obligate biotrophic parasites of higher plants. Sorosphaera viticola has been found abundantly in the roots of Vitis spp. in Germany and Canada. This may indicate a global distribution of this root parasite. But its biphasic life-cycle, its soil-borne natu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Plastic and Reconstructive Surgery - Global Open
سال: 2020
ISSN: 2169-7574
DOI: 10.1097/01.gox.0000667600.14533.a1